Synchronized Product of Linear Bounded Machines
نویسندگان
چکیده
This paper introduces a class of graphs deened as the models of a peculiar kind of linear bounded machines that read their input performing all computations on work tapes. It is proven that this class is closed, up to observational equivalence, under synchronized product. The rst{order theory of these graphs is investegated and shown to be undecidable. The latter result extends to any logic in which the existence of sinks may be stated.
منابع مشابه
$C^{*}$-semi-inner product spaces
In this paper, we introduce a generalization of Hilbert $C^*$-modules which are pre-Finsler modules, namely, $C^{*}$-semi-inner product spaces. Some properties and results of such spaces are investigated, specially the orthogonality in these spaces will be considered. We then study bounded linear operators on $C^{*}$-semi-inner product spaces.
متن کاملINTUITIONISTIC FUZZY BOUNDED LINEAR OPERATORS
The object of this paper is to introduce the notion of intuitionisticfuzzy continuous mappings and intuitionistic fuzzy bounded linear operatorsfrom one intuitionistic fuzzy n-normed linear space to another. Relation betweenintuitionistic fuzzy continuity and intuitionistic fuzzy bounded linearoperators are studied and some interesting results are obtained.
متن کاملSome Properties of Space-Bounded Synchronized Alternating Turin Machines with Universal States ONly
During the past years many models of parallel computations have arisen. One of them alternation was introduced in [l] as a generalization of nondeterminism. Several types of alternating machines have been introduced and many results about them have been established. Among the most interesting modifications are the alternating machines with universal states only (here, universally branching Turi...
متن کاملA brief introduction to quaternion matrices and linear algebra and on bounded groups of quaternion matrices
The division algebra of real quaternions, as the only noncommutative normed division real algebra up to isomorphism of normed algebras, is of great importance. In this note, first we present a brief introduction to quaternion matrices and quaternion linear algebra. This, among other things, will help us present the counterpart of a theorem of Herman Auerbach in the setting of quaternions. More ...
متن کاملRegularity of Bounded Tri-Linear Maps and the Fourth Adjoint of a Tri-Derivation
In this Article, we give a simple criterion for the regularity of a tri-linear mapping. We provide if f : X × Y × Z −→ W is a bounded tri-linear mapping and h : W −→ S is a bounded linear mapping, then f is regular if and only if hof is regular. We also shall give some necessary and sufficient conditions such that the fourth adjoint D^∗∗∗∗ of a tri-derivation D is again tri-derivation.
متن کامل